Categorical Logic: Immediate Inferences On The Traditional And Modern Interpretations